((v2 v4 9) (v3 v4 1) (v5 v2 4) (v3 v5 3) (v2 v1 9) (v3 v2 8))
30
((v2 v3))